Search CORE

62 research outputs found

Calculational semantics: deriving programming theories from equations by functional predicate calculus

Author: Boute Raymond
Publication venue: ASSOC COMPUTING MACHINERY
Publication date: 01/01/2006
Field of study

Ghent University Academic Bibliography

Formal Methods Unifying Computer Science and Systems Theory

Author: Boute Raymond
Publication venue
Publication date: 01/01/2004
Field of study

Ghent University Academic Bibliography

Functional declarative language design and predicate calculus: A practical approach

Author: Boute Raymond
Publication venue: ASSOC COMPUTING MACHINERY
Publication date: 01/01/2005
Field of study

Ghent University Academic Bibliography

Microsemantics as a bootstrap in teaching formal methods

Author: Boute Raymond
Publication venue
Publication date: 01/01/2006
Field of study

Ghent University Academic Bibliography

Formal Calculation with Functions, Predicates and Quantifiers

Author: Boute Raymond
Publication venue
Publication date: 01/01/2003
Field of study

Ghent University Academic Bibliography

Formal methods: teaching and practicing computer science at the university level

Author: Boute Raymond
Publication venue
Publication date: 01/01/2008
Field of study

Ghent University Academic Bibliography

THE EUCLIDEAN DEFINITION OF THE FUNCTIONS DIV AND MOD

Author: Boute Raymond
Publication venue: ASSOC COMPUTING MACHINERY
Publication date: 01/01/1992
Field of study

Ghent University Academic Bibliography

Integrating formal methods by unifying abstractions

Author: Boute Raymond
Publication venue: SPRINGER-VERLAG BERLIN
Publication date: 01/01/2004
Field of study

Ghent University Academic Bibliography

Functionals for the Semantic Specification of Temporal Formulas for Model Checking

Author: Boute Raymond
Verlinde Hannes
Publication venue
Publication date: 01/01/2003
Field of study

Ghent University Academic Bibliography

…

core

core